منابع مشابه
Rhodium-catalysed C(sp2)–C(sp2) bond formation via C–H/C–F activation
Fluoroalkenes represent a class of privileged structural motifs, which found widespread use in medicinal chemistry. However, the synthetic access to fluoroalkenes was much underdeveloped with previous reported methods suffering from either low step economy or harsh reaction conditions. Here we present a Rh(III)-catalysed tandem C-H/C-F activation for the synthesis of (hetero)arylated monofluoro...
متن کاملT C C F
We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...
متن کاملH R C C *
Fair cake-cutting is the division of a cake or resource among N users so that each user is content. Users may value a given piece of cake differently, and information about how a user values different parts of the cake can only be obtained by requesting users to “cut” pieces of the cake into specified ratios. Many distributed computing problems which involve resource sharing can be expressed as...
متن کاملT C C N P F
We define when a linear-time temporal property is a fairness property with respect to a given system. This captures the essence that is shared by most fairness assumptions that are used in the specification and verification of reactive concurrent systems, such as weak fairness, strong fairness, kfairness, and many others. We give three characterisations for the family of all fairness properties...
متن کاملA C Ollaborative C Oding F Ramework of Rs and H . 264
The quality of online multimedia is required higher and higher, yet the uncertainty of network, such as interference, connection failure, still exists. In order to ensure the quality of service in multimedia transmission, we incorporate erasure code with video code together, and present a collaborative coding framework of Reed-Solomon code (RS) and H.264. First of all, we analyze the common cod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1887
ISSN: 0028-0836,1476-4687
DOI: 10.1038/037154a0